正当性 correctness
必ず正しい結果が得られる
問題や課題を解決する
=正しい答えや望みどおりの結果が出る
実行条件によって得られる結果が異なる可能性があるとダメ
→明確な（あいまいでない）処理と手順で構成されなければならない